Алгебра кортежей – математическая система для формализации многоместных отношений. С ее помощью можно моделировать в одних и тех же структурах как данные (графы, многоместные отношения), так и знания (семантические сети, модели рассуждений, формулы исчисления высказываний и предикатов, продукционные системы, онтологии и т.д.). В то же время сами эти структуры имеют матрицеподобную форму, а все алгоритмы их обработки легко распараллеливаются.
Рассматривается методика формализации нечетких предикатов совместно с четкими логическими переменными для спецификации нечетких логико-динамических ситуаций и четких логических действий (дискретных команд). Методика основана на представлении четких и нечетких логических переменных с помощью функций принадлежности и на применении правил нечеткого вывода. При этом использовались только формы представления нечетких логических функций пригодные также и для представления четких логических функций. На примерах показана возможность применения рассматриваемой методики для компьютерной реализации гибридных процессов.
Обсуждаются преимущества представления моделей сложных динамических систем в виде иерархического комплекса взаимодействующих моделей отдельных подсистем. Предлагается холоническая структура комплекса и расширенный ситуационно-событийный формализм спецификации гибридных процессов, который позволяет обеспечить спецификацию процессов в моделях с учетом взаимодействия моделей между собой и с внешней средой. Показано, что предложенный формализм позволяет моделировать структурные изменения систем. Рассматриваются некоторые вопросы реализации подобного комплекса моделей. Приводится иллюстративный пример комплекса моделей, реализованного на основе предложенного формализма. Комплекс обеспечивает моделирование автоматической координации процессов в двух автоматических системах позиционирования ролика на плоскости.
1 - 3 из 3 результатов